Chris Hankin：在 Z-Library 上搜索

您通往知识和文化的门户。每个人都可以使用。

募捐 9月15日2024 – 10月1日2024

Z-Library 是世界上最大的在线图书馆之一，它拥有超过17,000,000的书籍和84,837,000的文章。我们的目标是让每个人都能获得文学作品. 今天(9月15日2024)，我们又发起了一个募捐活动，以支持和发展这个项目.

同时无限下载 (捐款后31日内) 可适与所有在10月1日2024之前进行捐款的用户.

关于筹款更多

捐款

书籍 (14)
最受欢迎
- 分类方式×
- 最受欢迎
- 最佳吻合
- 最近添加
- 按名称 (A-Z)
- 按名称 (Z-A)
- 按年份
- 文件大小↓
- 文件大小↑
列表
- 列表
- 表格

Lambda Calculi: A Guide for Computer Scientists

Oxford University Press

Chris Hankin

年:

1994

语言:

english

文件:

DJVU, 1.33 MB

0 / 0

english, 1994

Space Force: Building The Legacy

Midlands Scribes Publishing

Doug Irvin (Editor) & P. A. Piatt & Susan Murrie Macdonald & Ali Abbas & Ray Daley & Rosie Oliver & Karl K. Gallagher & Brennen Hankins & Jim Robb & Brena Bock & Chris DiNote & Richard Paolinelli

年:

2020

语言:

english

文件:

MOBI , 313 KB

0 / 0

english, 2020

Space Force: Building The Legacy

Midlands Scribes Publishing

Doug Irvin, P. A. Piatt, Susan Murrie Macdonald, Ali Abbas, Ray Daley, Rosie Oliver, Karl K. Gallagher, Brennen Hankins, Jim Robb, Brena Bock, Chris DiNote, Richard Paolinelli

年:

2020

语言:

english

文件:

EPUB, 272 KB

0 / 0

english, 2020

Semantics, Logics, and Calculi: Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays

Springer International Publishing

Christian W. Probst, Chris Hankin, René Rydhof Hansen (eds.)

年:

2016

语言:

english

文件:

PDF, 10.07 MB

0 / 0

english, 2016

Programming Languages and Systems: 7th European Symposium on Programming, ESOP'98 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98 Lisbon, Portugal, March 28 – April 4, 1998 Proceedings

Springer-Verlag Berlin Heidelberg

Gert Smolka (auth.), Chris Hankin (eds.)

年:

1998

语言:

english

文件:

PDF, 15.71 MB

0 / 0

english, 1998

Static Analysis: 12th International Symposium, SAS 2005, London, UK, September 7-9, 2005. Proceedings

Springer-Verlag Berlin Heidelberg

Samson Abramsky (auth.), Chris Hankin, Igor Siveroni (eds.)

年:

2005

语言:

english

文件:

PDF, 4.49 MB

0 / 0

english, 2005

Principles of Functional Programming

Prentice Hall

Hugh Glaser, Chris Hankin, David Till

年:

1984

语言:

english

文件:

DJVU, 1.42 MB

0 / 0

english, 1984

Ethical and Legal Aspects of Computing

Ian Mackie & Samson Abramsky & Chris Hankin & Mike Hinchey & Dexter C. Kozen & Hanne Riis Nielson & Steven S. Skiena & Iain Stewart & Joseph Migga Kizza & Roy Crole & Elizabeth Scott & Gerard O’Regan

年:

2024

语言:

english

文件:

PDF, 5.90 MB

0 / 4.0

english, 2024

Principles of Program Analysis

Springer

Flemming Nielson, Hanne R. Nielson, Chris Hankin

年:

2005

语言:

english

文件:

PDF, 10.11 MB

0 / 2.5

english, 2005

Principles of Program Analysis

Springer-Verlag Berlin Heidelberg

Flemming Nielson, Hanne Riis Nielson, Chris Hankin (auth.)

年:

1999

语言:

english

文件:

PDF, 38.85 MB

0 / 4.0

english, 1999

Formal Methods for Quantitative Aspects of Programming Languages: 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21-26, 2010, Advanced Lectures

Springer-Verlag Berlin Heidelberg

Alessandra Di Pierro, Chris Hankin (auth.), Alessandro Aldini, Marco Bernardo, Alessandra Di Pierro, Herbert Wiklicky (eds.)

年:

2010

语言:

english

文件:

PDF, 1.53 MB

0 / 0

english, 2010

Coordination Languages and Models: First International Conference, COORDINATION '96 Cesena, Italy, April 15–17, 1996 Proceedings

Springer-Verlag Berlin Heidelberg

Jean-Pierre Banâtre (auth.), Paolo Ciancarini, Chris Hankin (eds.)

年:

1996

语言:

english

文件:

DJVU, 4.89 MB

0 / 0

english, 1996

Formal Methods for Quantitative Aspects of Programming Languages: 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21-26, 2010, Advanced Lectures

Springer-Verlag Berlin Heidelberg

Alessandra Di Pierro, Chris Hankin (auth.), Alessandro Aldini, Marco Bernardo, Alessandra Di Pierro, Herbert Wiklicky (eds.)

年:

2010

语言:

english

文件:

PDF, 1.65 MB

0 / 0

english, 2010

Formal Methods for Quantitative Aspects of Programming Languages: 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21-26, 2010, Advanced Lectures

Springer-Verlag Berlin Heidelberg

Alessandra Di Pierro, Chris Hankin (auth.), Alessandro Aldini, Marco Bernardo, Alessandra Di Pierro, Herbert Wiklicky (eds.)

年:

2010

语言:

english

文件:

PDF, 2.65 MB

0 / 0

english, 2010